1. Mathematical logic and computability
Author: H. Jerome Keisler, Joel Robbin, Contributors : Arnold Miller...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
K45
